- semicomputable predicate
- мат.полувычислимый предикат
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Computable function — Total recursive function redirects here. For other uses of the term recursive function , see Recursive function (disambiguation). Computable functions are the basic objects of study in computability theory. Computable functions are the formalized … Wikipedia